$\forall$$A$,$B$:Type, $f$:($A$$\rightarrow$$B$$\rightarrow$$B$), $k$:$B$, ${\it as}$:($A$ List). reduce($f$; $k$; ${\it as}$) $\in$ $B$